linear algebra subspace proof